case class Op[R, A](f: A => R)